## Not Found File Book Summaries/Pasted image 20240318144229.pngSentential logic We go into the mathematical theory of the simplest logical notions: the meaning of “and”, “or”, “implies”, “if and only if” and related notions. The basic idea here is to describe a formal language for these notions, and say precisely what it means for statements in this language to be true. The first step is to describe the language, without saying anything mathematical about meanings. We need very little background to carry out this development. ω is the set of all natural numbers 0, 1, 2, . . .. Let ω be the set of all positive integers. For each positive integer m let m′ = {0, . . ., m − 1}. A finite sequence is a function whose domain is m′ for some positive integer m; the values of the function can be arbitrary.To keep the treatment strictly mathematical, we will define the basic “symbols” of the language to just be certain positive integers, as follows:Negation symbol: the integer 1.Implication symbol: the integer 2.Sentential variables: all integers ≥ 3.Let Expr be the collection of all finite sequences of positive integers; we think of these sequences as expressions. Thus an expression is a function mapping m′ into ω , for some positive integer m. Such sequences are frequently indicated by ϕ0, . . ., ϕm−1. The case m = 1 is important; here the notation is hϕi.The one-place function ¬ mapping Expr into Expr is defined by ¬ϕ = h1i⌢ϕ for any expression ϕ. Here in general ϕ⌢ψ is the sequence ϕ followed by the sequence ψ.The two-place function → mapping Expr×Expr into Expr is defined by ϕ → ψ = h2i⌢ϕ⌢ψ for any expressions ϕ, ψ. (For any sets A, B, A × B is the set of all ordered pairs (a, b.md does not exist.